- двойственная логика
- (к данной) dual logic мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ДВОЙНАЯ ИСТИНА — [двойственная истина, «двух истин» теория], термин, служащий для обозначения возникшего в средние века учения об одновременной истинности или взаимной независимости ряда положений философии и богословия, которые вступают в видимое противоречие… … Православная энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Битовая операция — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия
Булевы операции — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия
Инвертор (логический элемент) — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия
"КАПИТАЛ" — главный труд Маркса, к рый раскрывает экономич. законы движения капитализма и доказывает неизбежность его гибели и победы социалистич. революции. Ленин говорил о К. как о ... величайшем политико экономическом произведении нашего века... (Соч., т … Философская энциклопедия
Схоластика — (лат. scholastica, от греч. scholastikós школьный, учёный, schole̅́ учёная беседа, школа) тип религиозной философии, характеризующийся принципиальным подчинением примату теологии, соединением догматических предпосылок с рационалистической … Большая советская энциклопедия
ИНДИЙСКАЯ ФИЛОСОФИЯ — многообразие локальных характеристик в контексте родовых признаков философии, которое можно реконструировать на материале текстов инд. культуры в историческом движении традиционалистского полиформизма. Под родовыми признаками философии,… … Философская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
Оккам Уильям — Оккам (Ockham, Occam) Уильям (около 1285, Оккам, графство Суррей, ≈ 1349, Мюнхен), английский философ, логик и церковно политический писатель, представитель поздней схоластики. Монах францисканец. Учился и преподавал в Оксфорде. В 1323 в связи с… … Большая советская энциклопедия